Time dissemination and synchronization methods to support Galileo timing interfaces

Precise timing is an important factor in the modern information-oriented society and culture. Timing is one of the key technologies for such basic and everyday things, like cellular communications, Internet, satellite navigation and many others. Satellite navigation systems offer cost-efficient and high-performance timing services, and GPS is presently the unchallenged market leader. However, GPS is under military control and does not offer availability and performance guarantees. From a user perspective, this situation will change with the advent of the European satellite navigation system Galileo which shall be operated on a commercial basis by civil entities and shall accept certain liabilities for its services providing also guaranteed service performances. This work is motivated by the new opportunities and challenges related to Galileo timekeeping and applications, and in particular by the necessity to (a) produce and maintain a stable, accurate and robust system timescale which can serve for both accurate prediction of satellite clocks and for the metrological purposes, (b) establish accurate and reliable timing interface to GPS to facilitate Galileo interoperability, (c) maximize user benefits from the new system features like service guarantees and support application development by enabling their certification. The thesis starts with overview of atomic clocks, timekeeping and timing applications. Further Galileo project and system architecture are described and details on Galileo timekeeping concept are given. In addition, the state-of-the-art timekeeping and time dissemination methods and algorithms are presented. Main findings of the thesis focus on (a) Galileo timekeeping. Various options for generation of Galileo system time are proposed and compared with respect to the key performance parameters (stability and reliability). Galileo System Time (GST) stability requirements driven by its navigation and metrological functions are derived. In addition, achievable level of GST stability (considering hardware components) is analyzed. Further, optimization of the present baseline with respect to the design of Galileo Precise Timing Facility (PTF), and its redundancy and switching concepts is undertaken. Finally, performance analysis of different options for generation of the ensemble time is performed and considerations with respect to the role of the ensemble time in Galileo are provided, (b) GPS Galileo timing interface. The magnitude and statistical properties of the time offset are investigated and the impact of the time offset onto the user positioning and timing accuracy is studied with the help of simulated GPS and Galileo observations. Here a novel simulation concept which is based on utilization of GPS data and their scaling for Galileo is proposed. Both GPS and Galileo baseline foresees that the GPS/Galileo time offset shall be determined and broadcast to users in the navigation messages. For this purposes, the offset shall be predicted using available measurement data. Simulations of GPS Galileo time offset determination and prediction are presented. The prediction is made relying on both traditional method and on the advanced techniques like Box-Jenkins prediction (based on the autoregressive moving average approach) and Kalman filter. The end-to-end budgets for different options of GPS Galileo time offset determination are also presented. (c) Galileo interface to timing users (Galileo timing service). The relevance of GST restitution from the metrological point of view is discussed and recognition of GST as a legal time reference is proposed. Assessment of the accuracy of the Galileo timing service is presented. Finally, recommendations for Galileo are provided based on the findings of the thesis